تعداد ۲ پاسخ غیر تکراری از ۲ پاسخ تکراری در مدت زمان ۰,۶۴ ثانیه یافت شد.

1. Formal Methods in Programming and Their Applications :

پدیدآورنده : edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin.

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Computer science.,Logic design.,Software engineering.

رده :

QA76

.

6

E358

1993

2. Perspectives of System Informatics :

پدیدآورنده : edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin.

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Computer science.,Logic design.,Software engineering.

»
1
«

This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them